-
1 loop invariant analysis
English-Russian information technology > loop invariant analysis
-
2 loop invariant analysis
Вычислительная техника: анализ инвариантов циклаУниверсальный англо-русский словарь > loop invariant analysis
См. также в других словарях:
Пуанкаре, Анри — Анри Пуанкаре Henri Poincaré Дата рождения: 29 апреля 1854(1854 04 29) Место рождения: Нанси … Википедия
Искусственный интеллект (artificial intelligence) — В самом широком смысле И. и. это абстрактная теория челов., животного и машинного познания. Конечная цель ее развития создание единой теория познания. Как теорет. психология. И. и. представляет собой продолжение исследовательской программы,… … Психологическая энциклопедия
Граф потока управления — Простые графы потока управления[1] Граф потока управления (англ. … Википедия